∀A∈2^X(A̿=A̅)